版书名为A Course in Mathematical Logic，第2版书名与上一版略有不同，书中第4章和第6章有特色，第9章和0章为新增内容，作者是B. Zilber。本书是一部的数理逻辑教材，可作为高校数学专业研究生教材，及相关专业数学工作者参考书。

版书名为A Course in Mathematical Logic，第2版书名与上一版略有不同，书中第4章和第6章有特色，第9章和0章为新增内容，作者是B. Zilber。本书是一部的数理逻辑教材，可作为高校数学专业研究生教材，及相关专业数学工作者参考书。

版本: 第1版, 平装, 世界图书出版公司

版本: 第1版, 平装, 世界图书出版公司

《数理逻辑教程》由上海人民出版社出版。

《数理逻辑教程》由上海人民出版社出版。

“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于1978年出版，然后，于19...(展开全部)

本书极具特色，它既不是一般的数学教材也不是一般的数学史教材，而是一本通过数学史来讲授数学的教材。本书的作者通过讲述某些数学论题，组织与之相关的概念、人物、思想、问题的背景及发展中的故事等材料，赋予读者数学的统一性的观点。 本书自1989年出版第一版以来，至今一直受到数学界的高度评价和数学爱好者的欢迎。本书对提高数学专业师生及广大爱好数学人士的数学修养很有价值。

本书极具特色，它既不是一般的数学教材也不是一般的数学史教材，而是一本通过数学史来讲授数学的教材。本书的作者通过讲述某些数学论题，组织与之相关的概念、人物、思想、问题的背景及发展中的故事等材料，赋予读者数学的统一性的观点。 本书自1989年出版第一版以来，至今一直受到数学界的高度评价和数学爱好者的欢迎。本书对提高数学专业师生及广大爱好数学人士的数学修养很有价值。